|
|
1.
|
Programming Challenges: The programming contest training manual
by Skiena, Stevan S | Revilla, Miguel A. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.1 SKI] (1).
|
|
|
2.
|
Adapting proofs-as-programs : the Curry-Howard protocol
by Crossley, John N | Poernomo, Iman Hafiz | Wirsing, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1).
|
|
|
3.
|
UML for SOC design
by Martin, Grant | Muller, Wolfgang. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2005Availability: Items available for loan: [Call number: 621.395 MAR] (1).
|
|
|
4.
|
Unconstrained face recognition
by Zhou, Shaohua Kevin | Chellappa, Rama | Zhao, Wenyi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.37 ZHO] (1).
|
|
|
5.
|
Software engineering techniques applied to agricultural systems : an object-oriented and UML approach
by Pardalos, Panos M | Papajorgji, Petraq J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 630.2085 PAP] (1).
|
|
|
6.
|
Reverse Engineering of Object Oriented Code
by Potrich, Alessandra | Tonella, Paolo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.117 TON] (1).
|
|
|
7.
|
Data compression : the complete reference
by Salomon, David. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 005.746 SAL] (1).
|
|
|
8.
|
Introduction to artificial life
by Adami, Christoph. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1998Availability: Items available for loan: [Call number: 570.13 ADA] (2).
|
|
|
9.
|
Handbook of mathematics and computational science
by Harris, John W | Stocker, Horst. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 510 HAR] (1).
|
|
|
10.
|
Physics for computer science students : with emphasis on atomic and semiconductor physics
by Garcia, Narciso | Damask, Arthur | Schwarz, Schwarz. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1998Availability: Items available for loan: [Call number: 530.0246213 GAR] (1).
|
|
|
11.
|
On concurrent programming
by Schneider, Fred B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.275 SCH] (1).
|
|
|
12.
|
Bayesian networks and decision graphs
by Jensen, Finn V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 519.542 JEN] (1).
|
|
|
13.
|
Origin of concurrent programming : from semaphores to remote procedure calls
by Hansen, Per Brinch. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.275 HAN] (1).
|
|
|
14.
|
Discrete mathematics : elementary and beyond
by Lovasz, Laszlo | Pelikan, J | Vesztergombi, K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 510 LOV] (1).
|
|
|
15.
|
Complexity and real computation
by Blum, Lenore. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 BLU] (1).
|
|
|
16.
|
Clinical decision support systems : theory and practice
by Berner, Eta S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 616.0750285 BER] (1).
|
|
|
17.
|
Dynamic modeling
by Ruth, Matthias | Hannon, Bruce. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 003.8501135369 HAN] (2).
|
|
|
18.
|
Computer science education in the 21st century
by Greening, Tony. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004.071 GRE] (1).
|
|
|
19.
|
Charting a new course : natural language processing and information retrieval : essays in honour of Karen Sparck Jones
by Tait, John I. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.35 TAI] (1).
|
|
|
20.
|
UML applied : a .NET perspective
by Shoemaker, Martin L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.117 SHO] (1).
|
